define i64 @main(i64 %argc, i8** %arcv) {

  ret i64 9 

}

